$\forall$$A$:Type, ${\it as}$:($A$ List), $i$:$\mathbb{Z}$. nth\_tl($i$;${\it as}$) $\in$ ($A$ List)